Permission-Based Separation Logic for Multithreaded Java Programs✩ Christian Haacka,1 , Marieke Huismanb,2 , Cl´ement Hurlinc,3,∗ a Aicas GmbH, Karslruhe, Germany

Source URL: fmt.cs.utwente.nl

Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The Netherlands

Source URL: fmt.cs.utwente.nl

Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Mathematics
• Abstract algebra
• Algebra
• Constructible universe
• Lie algebras
• Lie groups
• Field theory
• CurryHoward correspondence
• Generalised Whitehead product

Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P }

Source URL: ilyasergey.net

A Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic MIKE DODDS, University of York, UK SURESH JAGANNATHAN, Purdue University, Indiana MATTHEW J. PARKINSON, Microsoft Research, UK

Source URL: www.kasv.dk

Temporary Read-Only Permissions for Separation Logic Arthur Chargu´eraud and Fran¸cois Pottier Inria‹ Abstract. We present an extension of Separation Logic with a general

Source URL: www.chargueraud.org

Automated Software Analysis and Verification with Separation Logic Josh Berdine Cristiano Calcagno Dino Distefano Samin Ishtiaq Peter O’Hearn John Reynolds Hongseok Yang CAV 2016

Source URL: www0.cs.ucl.ac.uk

Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

Source URL: plv.mpi-sws.org

Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2

Source URL: www.lsv.ens-cachan.fr

Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London

Source URL: www.lsv.ens-cachan.fr